Fix minor problems in .y file.