Is this `"def\\[a-z\\]"` is still needed? I'm not sure what purpose it originally served.