Fix a tweak used for debugging.