fixed imperative SF