correcting some debugging