You're right, this document string is totally wrong (as is the one for `Renames`). Fixed!