Ditch the unnecessary second parameter to the CHECK macro