pushd is strange