Minor: tweak for symmetry in -fdebug