--- a/src/ur/openidUser.urs	Mon Jan 17 16:07:24 2011 -0500
+++ b/src/ur/openidUser.urs	Thu Jan 20 12:23:44 2011 -0500
@@ -78,9 +78,12 @@
     val current : transaction (option user)
     (* Figure out which, if any, user is logged in on this connection. *)
 
-    val main : (string -> xbody -> transaction page) -> transaction xbody
+    val main : (string -> xbody -> transaction page) -> transaction {Status : xbody,
+                                                                     Other : xbody}
     (* Pass in your generic page template; get out the HTML snippet for user
      * management, suitable for, e.g., inclusion in your standard page
-     * header. *)
+     * header.  The output gives a "status" chunk, which will either be a login
+     * form or a message about which user is logged in; and an "other" chunk,
+     * which will be a log out or sign up link. *)
 
 end