fixes a typo in ast10tc