Why does the regex literally contain "mysterious semicolon"?