Sorry, I was being overly-fussy there. I just fixed it in the branch from develop and merged that here.