fix link to github issue (no MD automagic here?).