Work around issue in the docker index

The docker index is affected by
<https://github.com/docker/docker/issues/6345#issuecomment-49245365>.
This fix is an attempt at at temporary workaround and should be
reverted once the docker version behind the registry is updated at the
next release.