Fix accidental cut/paste