Terminal type 'dummy-term' not recognized.
