some refinements concerning scheduling behavior