Oh grump, I thought I'd fixed that; must have lost it in a rebase. Sorry, fixing now!