Fix pushd example