Fix a minor issue in the user module.