Sorry, again Eclipse's fault. Eclipse's autoformatter claims it is converting files to a PEP8-compliant form... I shall disable it.