favor simpler corrections; misc doc updates