Minor fixes to PROVABILITY.md