--- wdt_pci.c.orig	2004-07-30 09:00:13.435106288 +0200
+++ wdt_pci.c	2004-07-30 09:00:31.465365272 +0200
@@ -682,8 +682,8 @@ out:
 out_misc:
 #ifdef CONFIG_WDT_501_PCI
 	misc_deregister(&temp_miscdev);
-#endif /* CONFIG_WDT_501_PCI */
 out_rbt:
+#endif /* CONFIG_WDT_501_PCI */
 	unregister_reboot_notifier(&wdtpci_notifier);
 out_irq:
 	free_irq(irq, &wdtpci_miscdev);