`@return` is not documented.