Ha! It seems I indeed had it the other way around. I suppose that's what
happens when writing a patch late at night. Somewhat ironically I did
have the other correct in my Git commit message.
Attached is an updated version of the patch that corrects the order in
the documentation.
Yorick