better printing of FO substitutions