PROGARM-ARGS are not mentioned in the docstring. The attached patch is a
draft of the small improvement. Thanks!