fix docs, refs #1209