Minor addition to CFG theory