small corrections of messed up indentations