diff --git a/refpolicy/policy/modules/kernel/devices.fc b/refpolicy/policy/modules/kernel/devices.fc
index cd661b1..efe4ef2 100644
--- a/refpolicy/policy/modules/kernel/devices.fc
+++ b/refpolicy/policy/modules/kernel/devices.fc
@@ -71,7 +71,7 @@ ifdef(`distro_suse', `
 
 /dev/pts(/.*)?			<<none>>
 
-/dev/snd/.*		-c	context_template(system_u:object_r:sound_device_t,s0)
+/dev/s(ou)?nd/.*	-c	context_template(system_u:object_r:sound_device_t,s0)
 
 /dev/usb/dc2xx.*	-c	context_template(system_u:object_r:scanner_device_t,s0)
 /dev/usb/lp.*		-c	context_template(system_u:object_r:printer_device_t,s0)
diff --git a/refpolicy/policy/modules/kernel/terminal.fc b/refpolicy/policy/modules/kernel/terminal.fc
index cf1b0b0..a22099d 100644
--- a/refpolicy/policy/modules/kernel/terminal.fc
+++ b/refpolicy/policy/modules/kernel/terminal.fc
@@ -12,6 +12,11 @@
 /dev/ptmx		-c	context_template(system_u:object_r:ptmx_t,s0)
 /dev/tty		-c	context_template(system_u:object_r:devtty_t,s0)
 /dev/ttySG.*		-c	context_template(system_u:object_r:tty_device_t,s0)
+
+/dev/pty/.*		-c	context_template(system_u:object_r:bsdpty_device_t,s0)
+
+/dev/vcc?/.*		-c	context_template(system_u:object_r:tty_device_t,s0)
+
 /dev/vcs[^/]*		-c	context_template(system_u:object_r:tty_device_t,s0)
 
 /dev/usb/tty.*		-c	context_template(system_u:object_r:usbtty_device_t,s0)