I think we may have a bug