Woops! I'd fixed this in 75ca774 but not pushed it.