Removed a merging mistake.