In fact that was easily fixed. See f2fd80a.