Fix docker-enter script