a bug detected and fixed