Minor nitpick--can we make this "shift_down"?