small change in LRI-Parser