* Also fixed a small grammatical error highlighted by a merge conflict (in the python bindings howto).