A couple of checker example fixes