Corrected minor typo
Muted pushd/popd in linux shell scripts