minor formatting for docker instructions