Minor deuglification tweak