Fix mistake that broke th build from previous commit