[#3066] Minor tweak thanks to @WouterJ