Compiler specs: Fix a typo