CS 241: clarified LR(1) parsing algorithm.