revision for the checker