Improve the DEFINE-FLAG's documentation string.