correct output types