More debug messages for #65