Fixed some errors in SELinux config