Small fix after last "big" update commit