Refined and finished the user model spec.