Fix a leftover from the original version