Fix for SaLT pretty printer