Fix spacing in Dockerfile.core