Update README.md

Fix postcondition resultant string