fix tiny Dockerfile comment