Give proper backslash escaping in examples for preg_quote (Travis reported)