Note recent changes
It's stupid to use assertions for run-time syntax checks