Fixing whitespace

Fixing whitespace that got messed up by using a new editor.