- Some minor corrections to the documentation