a bug resolved