Small tweak for Docker Reg format