--- hotkey-setup-0.1/debian/init.d	2007-09-30 02:43:08.000000000 +0200
+++ debian/init.d	2007-12-27 13:00:48.000000000 +0100
@@ -126,9 +126,9 @@
 	esac
 	;;
 
-	MICRO-STAR*)
+	MICRO-STAR*|Micro-Star*)
 	case "$name" in
-	    *INFINITY*)
+	    *INFINITY*|*PR2??)
 	    . /usr/share/hotkey-setup/micro-star-infinity.hk
 	    ;;
 	esac