I'm not at all convinced this is correct, but I'm removing it in #57, so it's fine.