fix unfortunate use of '/' as a regex delimiter in preg_match