repair a bug in a