actual do-while formatting fix