tweaks to debugging