Fix formatting so --docker option doesn't get obscured.