Fixed something lost in merging