Cosmetic in debug_alternc