spec3: Update README.md to match the implementation.