Fix EBNFs and examples