changed SPEC.txt to SPEC.md