Fix formatting of inlined doc