Doc fix for #340