Fix typo
Fix long-standing inline code highlighting issue