added spec.md and removed redundant line in format.sh