spec4: modify readme.md