I think I found a bug