Removed duplicate code inserted by previous merge operation.