docs fix (closes #938)