More elegant printing of compressed string