[#2529] Minor tweak thanks to @WouterJ