fix some errors in documentation