Added specifications for test