Fix some minor erros in documentation