Fixing some doc rendering