Update cool.lex