That output is correct.