for Mike, fixed bug