Fix docker instructions.