Minor spec fixes

* old string interpolation syntax
* missing name in BNF