See, that's what I thought :-) And it's merged now, so hack on.