Fixed small clerical errors in the documentation