(Corrections to docs.)