Spec refinement and additions to the readme.