Bonus: Fix broken pushd.