Added some docs to the spec