-\section{Installing Linux RPM}\index{Installation,Linux}%
-Download the RPM file from as \helprefn{shown}{download}. Then use
-the \texttt{rpm} manager program:\\
-\hspace{1cm}\texttt{rpm -Uvh} \emph{ctsim-*.rpm}\\
+\section{Installing Linux RPM}
+Download the \ctsim\ RPM file, then use
+the \texttt{rpm} manager program as follows:\\
+\hspace*{1cm}\texttt{rpm -Uvh} \emph{ctsim-*.rpm}\\