Checkin Stephen Smalley's Fix for making sure we

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

This patch looks good to me. acked.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk6wTLkACgkQrlYvE4MpobOmtwCg6ziM3sCkdc9fmc5Igq2a34u2 6PMAn0/Ad7lcFyiLdNobQZpfjRU1oRqe
=bolk
-----END PGP SIGNATURE-----