Removed obsolete whitespace