minor whitespace corrections