produces correct output again