more corrections to the docs