Fix small errors in the documentation