updated `@return` for `user()`