Fix bad doc indentation