oops, fix wrong copy-pasted doc