Make printing use correct conversion