[docs] Apparent bug in python socket howto