accidental error when user is undefined #81

Closed cmaija closed 4 years ago