Fix some Dockerfile lines