small tweak to docker page.