Fix up user profile

See #3810