forgotten commit: whitespace changes