Added case from #1583.