unbolded links

the bold links look terrible in red. there was only one, and I fixed
it.