Corrections to documentation