anchor.diff:  
       String pageurl = wiki.encodeName( pagereq );
   
  -    String action = request.getParameter("action");
  -    String ok = request.getParameter("ok");
  +    String action  = request.getParameter("action");
  +    String ok      = request.getParameter("ok");
       String preview = request.getParameter("preview");
   
       //
  
positive.code: 
  <%
      String pagereq = wiki.safeGetParameter( request, "page" );
      String headerTitle = "Edit page ";
  
      if( pagereq == null )
      {
  
negative.code: 
      String skin = wiki.getTemplateDir();
  
      NDC.push( wiki.getApplicationName()+":"+pagereq );    
  
      WikiPage wikipage = wiki.getPage( pagereq, version );
  
      if( wikipage == null )
      {
  