minor corrections to the docs