Correction multi-instance lex