Output is correct.