fixed little Python syntax error