Fix silly mistake in Dockerfile