python.hrc: whitespace fix