Fix super serious issue introduced by careless copypasting