src/Pure/Build/build_manager.scala

               par(text("Status: " + result.status)) ::
               source(cache.lookup(store, result.kind, result.id)) :: Nil
           }
         }
 
-      def render_cancelled: XML.Body =
-        List(chapter("Build Cancelled"), frontend_link(paths.frontend_url(Page.HOME), text("Home")))
+      def render_cancelled: XML.Body = render_page("Build cancelled")(
+        List(frontend_link(paths.frontend_url(Page.HOME), text("Home"))))
 
       def parse_uuid(params: Params.Data): Option[UUID.T] =
         for {
           id <- params.get(ID)
           uuid <- UUID.unapply(id)

                 case job: Job =>
                   val job1 = job.copy(cancelled = true)
                   _state = _state
                     .remove_running(job.name)
                     .add_running(job1)
-                  Model.Details(job1, _state, public = false)
+                  Model.Cancelled
                 case result: Result => Model.Details(result, _state, public = false)
               }
             }
         } yield model