Fix type-os in user and user_spec specs