bug fix after Formatting.jl api changes