Fixed couple of Boltzmann grammars that were invalid