programming-languages: fix footnote