changed implementation of not_yet_saved