Correct python comment syntax for docs