. some preliminary corrections to the documentation