Corrected naming in bison file