[#2211] Fix thanks to @stof!