More verbosity in checking