Just a small fix of copy-paste in docs