Fix a couple of definitions in the readme