Tweak formatting of check() example