Small change to how pushd gets executed