minor fix in checker