The style scripts complain about trailing semi-colons in Python code,
get rid of one in a comment.