Corrections in the docs