Work around a bug in Docker Hub registry.