spec13: update README.md