Fixed push_ndx for bash.