Added debugging printout.