This is now fixed in 3f6194b160b42e8b1a8c7a83b68f6e63d72f1f80.