Switching off some debugging code (I).