Correct usage of pushd