Fixed missing semicolon error reported by bison 3.0.2