Made some minor changes for debugging .