Ah, good find. I'm fine with clearing that, given the alternative.