Added some docs on specs