FIXED: Bracketed DCG production typo.