minor rename
2 consecutive NT for mixed-syntax