Touched up spec.md