I suspect this is a bug