On 07/17/2017 03:10 AM, Andreas Schwab wrote: > This information should be added in a comment. Dave, Thanks for all the fixes. I agree with Andreas, this should be documented with a comment. -- Cheers, Carlos.