whitespaces for do..while