This was forgotten

... and caused a lot of errors. This should fix them.