a bug is fixed