small documentation clarification for #85