We actually already added that in 16ec035418, but in 9a02dc174d we accidentally dropped it again.
16ec035418
9a02dc174d