Fixes #1441: fix cut&paste issue, clarify docs