Tweaking whitespace

My editor managed to screw things up, this is sorted it out.