Update README.md

Fix postcondition resultant string
Merge pull request #25 from arsenerei/patch-1

Update README.md