Minor but important patch to selinux policy