proposed fix for busywaitbug