small bugfix in printing strategy