Update pa5spec.md