fixed bug in bug fixing