fixing some errors in the documentation