fixed bug related to fuzzy timing scheduling