Do not escape active pattern names

Fix #740.
Write active pattern names in the canonical way