update cool.lex