Fix accidental edit in previous commit