This case is already handled below.