Minor corrections to the documentation