We have fixed a bug