Fix docker.mk mistype