fix formatting of some inline code