Tiny tweaks to debug prints