Bugfix in DEBUG mode.