minor cosmetic changes

changed debug prompt code slightly to account for changes to the
underlying API