It was wrong and I have fixed it - github's diff seems to be the wrong way round.