Whitespace normalization

another attempt to get rid of mixed CR/LF line endings in the source
file