`@return` is not mandatory when the return is `void`