little fix on printing