a bug found and fixed