diff --git a/policy/modules/kernel/devices.fc b/policy/modules/kernel/devices.fc
index 61458440..98b84248 100644
--- a/policy/modules/kernel/devices.fc
+++ b/policy/modules/kernel/devices.fc
@@ -114,14 +114,9 @@ ifdef(`distro_suse', `
 /dev/xen/blktap.*	-c	gen_context(system_u:object_r:xen_device_t,s0)
 /dev/xen/evtchn		-c	gen_context(system_u:object_r:xen_device_t,s0)
 
-/etc/udev/devices -d	gen_context(system_u:object_r:device_t,s0)
+/etc/udev/devices	-d	gen_context(system_u:object_r:device_t,s0)
 
-/lib/udev/devices -d	gen_context(system_u:object_r:device_t,s0)
-
-ifdef(`distro_debian',`
-# used by udev init script as temporary mount point
-/lib/udev/devices	-d		gen_context(system_u:object_r:device_t,s0)
-')
+/lib/udev/devices	-d	gen_context(system_u:object_r:device_t,s0)
 
 ifdef(`distro_gentoo',`
 # used by init scripts to initally populate udev /dev