bugfix in printing