Fix some minor errors in the docs