some fixes to the documentation