a bug was fixed