OK, if you're sure, have removed it...!  Change pushed, here: d6a25bb.