Writing some model specs for User