anchor.diff:        application ->  %% done.
   	  {PrecL, Prec} = func_prec(),
   	  D = lay(refac_syntax:application_operator(Node), set_prec(Ctxt, PrecL)),
  -	  As = seq(refac_syntax:application_arguments(Node), floating(text(",")), reset_prec(Ctxt), fun lay/2),
  +	  As = seq(refac_syntax:application_arguments(Node), floating(text(", ")), reset_prec(Ctxt), fun lay/2),
   	  Op = refac_syntax:application_operator(Node),
   	  Args = refac_syntax:application_arguments(Node),
   	  D1 = case Args of
  
positive.code: 	  Ctxt1 = (reset_prec(Ctxt))#ctxt{clause = undefined},
  	  Pats = refac_syntax:clause_patterns(Node),
  	  Body = refac_syntax:clause_body(Node),
  	  PatDocs = seq(Pats, floating(text(",")), Ctxt1, fun lay/2),
  	  D1 = lay_elems(fun refac_prettypr_0:par/1, PatDocs, Pats),
  	  D2 = case refac_syntax:clause_guard(Node) of
  		 none -> none;
  		 G -> lay(G, Ctxt1)
  	       end,
  	  BodyDocs = seq(Body, floating(text(",")), Ctxt1, fun lay/2),
  	  D3 = lay_elems(fun refac_prettypr_0:sep/1, BodyDocs, Body),
  	  HeadLastLn = case refac_syntax:clause_guard(Node) of
  			 none -> case Pats of
  
negative.code: 		[H| _] ->
  		    EndLn = get_end_line(N),
  		    StartLn = get_start_line(H),
  		    As = seq(Args, floating(text(", ")), reset_prec(Ctxt), fun lay/2),
  		    case StartLn > EndLn of
  		      true ->
  			  above(beside(lay(N, Ctxt1), text("(")),
  