debugging, see comment regarding one of the debug checks