Fix mistake in pushd/popd removal.