correction of bugs in the documentation