fixed some problems with the documentation