Small fixes in README
Fix naming of some assertion id functions