Fixing a mistake in the debug