@andrey1s `$user` definitely isn't a string