tweak formatting of (-> ...)