Fix bug that was introduced with commit 09d2747bd3b0e3b20fb7ebb352eb9853c64c26db