diff --git a/.gitignore b/.gitignore
index 696fe2c..2ec8934 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+build.*/
 _docpress/
 build/
 !build/index.php
diff --git a/core/01-settings.fragment.php b/core/01-settings.fragment.php
index 114c261..e0d83e4 100644
--- a/core/01-settings.fragment.php
+++ b/core/01-settings.fragment.php
@@ -48,7 +48,8 @@ if($settings === null) {
 // Fill in any missing properties
 $settings_upgraded = false;
 foreach($guiConfig as $key => $propertyData) {
-	if(!isset($settings->$key)) {
+	if(!property_exists($settings, $key)) {
+		error_log("[settings] Upgrading $key");
 		$settings->$key = $propertyData->default;
 		$settings_upgraded = true;
 	}