fixed some errors in the documentation