diff --git a/src/mainboard/lenovo/x131e/devicetree.cb b/src/mainboard/lenovo/x131e/devicetree.cb
index 00b5574..7ee982f 100644
--- a/src/mainboard/lenovo/x131e/devicetree.cb
+++ b/src/mainboard/lenovo/x131e/devicetree.cb
@@ -26,7 +26,7 @@
 		end
 	end
 
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x17aa 0x21fe inherit
 
 		device pci 00.0 on end # Host bridge