attribute: minor fixups Suggested by Bruno Haible in: https://lists.gnu.org/r/bug-gnulib/2020-05/msg00049.html
2020-05-03T13:58:06