Doc fix for #28