I think I have found a bug