Small corrections to documentation