--- doc/build/RHEL7_install.frag	2014/06/30 15:49:54	1.1
+++ doc/build/RHEL7_install.frag	2014/06/30 16:28:32	1.3
@@ -55,11 +55,11 @@ DHCP is <em>not</em> supported.
   <li>domain name server(s) </li>
 </ul>
 
-<h2>3. <a name="lin">Minimal  Red Hat Enterprise Linux 7c Install</a></h2>
+<h2>3. <a name="lin">Minimal Red Hat Enterprise Linux 7 Install</a></h2>
 <p>
 Installing Red Hat Enterprise Linux is straightforward. 
 Documentation is available from
-<a href="https://access.redhat.com/site/documentation/en-US/Red_Hat_Enterprise_Linux/"
+<a href="https://access.redhat.com/site/documentation/en-US/Red_Hat_Enterprise_Linux/">
 https://access.redhat.com/site/documentation/en-US/Red_Hat_Enterprise_Linux/</a>
 Most of the installation screens are self explanatory.
 There are a few steps that require comment and are dealt with below.
@@ -89,7 +89,7 @@ Finish installing your server, reboot it
 </p>
 <h3>Firewall Configuration</h3>
 <p>
-LON-CAPA uses the tradition iptables package instead of the recent Firewalld, included for the
+LON-CAPA uses the traditional iptables package instead of the recent Firewalld, included for the
 first time with RHEL7.  Accordingly, you should install iptables-services, disable firewalld,
 and enable iptables.  
 <pre>
@@ -97,15 +97,20 @@ yum install iptables-services
 systemctl mask firewalld
 systemctl enable iptables
 systemctl enable ip6tables
+systemctl stop firewalld
+systemctl start iptables
+systemctl start ip6tables
 yum install wget
 rpm --import http://install.loncapa.org/versions/redhat/RPM-GPG-KEY-loncapa
 wget http://install.loncapa.org/versions/redhat/7Server/system-config-firewall-tui-1.2.29-10.el7.noarch.rpm
 yum localinstall system-config-firewall-tui-1.2.29-10.el7.noarch.rpm
-system-config-firewall-tui
 </pre>
-
+<p>
 The system-config-firewall-tui tool should be used to configure the Firewall.
 </p>
+<pre>
+system-config-firewall-tui
+</pre>
 <ol>
   <li>Select Security Level: Enabled, and Customize, to allow
       incoming: SSH (remote login), WWW (HTTP) and secure WWW