Double escape in regex