Fix a failing assertion
Modify README.md and VERSION.