fixed small printing bug when printing the container domtype