debugging statements; bug fixes