fix minor doc indenting issue