append section "attribute" to spec.md and fix some glitches