fixing a mistake in debug