For what it's worth, the default formatter works for me.