Fixed minor bugs in docker pull