spec5: fix README.md