fixes error and annotates user model and spec