Hi, the following patches fix one bug and one annoyance in annotate-output, they are quite straightforward. Note that some of the quotation introduced is for clarity only, not strictly needed. I'm not opening bugs for these as they are trivial but let me know if you want them for tracking purposes.
HTH, filippo -- To unsubscribe, send mail to [email protected].
