One space after `@return`