changed tautology loop to 'loop do'