Fix some doc formatting