fixing another debugging mistake