Fix bug in push_delta