Fix tagging of docker images