another small libxml filter fix