python syntax error in doc