Michael Heerdegen wrote:
> AFAIU the patch indeed doesn't distinguish "arglist ()"
> and "no arglist specified" - it treats both as "arglist ()".

Clearly I missed the distinction between the two. Sorry about that. I installed 
the attached patch to master, which should fix things. Thanks for reporting it.