More bulletproof DOM filtering