As the comment in the code suggests, nobody really uses this so nobody
will notice the difference :) Still, let's make it correct while we're
at it.