fix to push_4 class