fix broken anchor link (ticket #1232)