Bugfix on debugging information.

Fixes bug that do call database.disp () without being in debug mode.