Rather `@param string $user`