whitespace fixes (silly eclipse)