Use inline code for some bold highlighting again