Bugfix: filtering  in PHP 5.2.0 seems to be buggy...