Fix bug in linear checker