miscellaneous debugging printk statements added.