docs fix (closes #834)