Small tweak to the links created by emphasis.js