eliminate crazy preg_replace_callback()