minor 5.4 + README

Author: Marc Bezem

actions.tex

@@ -552,8 +552,7 @@ \subsection{Actions in a type}
   \[
     X : \BG \to A.
   \]
-  The particular ``object'' of type $A$ being acted on" is $X(\sh_G):A$,
-  the \emph{underlying object}.%
+  The particular ``object of type $A$ being acted on'' is $X(\sh_G):A$,
   \index{action!of a group in a type}
 
   Fixing $a:A$ as the underlying object,