Documentation error spotted by @hrothgar.