Fixed types in checker