Added more examples to the User spec.