[#3344] Minor tweak