Fix some errors in the documentation