Some fixes to the syntax of the vocabulary specification