preconditions of update fixed
remove partly implemented