Minor copy-paste documentation fix