preg_replace() instead of preg_filter(), for compatibility with PHP 5.2.