Removed a remnant from previous edits.