Whitespace normalization; the plat-riscos file didn't even get by

tabnanny.py.