diff --git a/src/control/settings/Settings.cpp b/src/control/settings/Settings.cpp
index b6246b3e..c472d448 100644
--- a/src/control/settings/Settings.cpp
+++ b/src/control/settings/Settings.cpp
@@ -812,7 +812,7 @@ void Settings::saveDeviceClasses()
 
 	SElement& s = getCustomElement("deviceClasses");
 
-	for (const std::map<string, std::pair<int, GdkInputSource>>::value_type& device : inputDeviceClasses)
+	for (const std::map<string, std::pair<int, GdkInputSource>>::value_type& device: inputDeviceClasses)
 	{
 		SElement& e = s.child(device.first);
 		e.setInt("deviceClass", device.second.first);
diff --git a/src/gui/inputdevices/InputEvents.cpp b/src/gui/inputdevices/InputEvents.cpp
index 02324cd6..d4383d59 100644
--- a/src/gui/inputdevices/InputEvents.cpp
+++ b/src/gui/inputdevices/InputEvents.cpp
@@ -83,8 +83,8 @@ InputDeviceClass InputEvents::translateDeviceType(const string& name, GdkInputSo
 			// Keyboards are not matched in their own class - do this here manually
 		    if (source == GDK_SOURCE_KEYBOARD)
 		    {
-				return INPUT_DEVICE_KEYBOARD;
-			}
+		    	return INPUT_DEVICE_KEYBOARD;
+		    }
 			return INPUT_DEVICE_IGNORE;
 		}
 		case 1:
diff --git a/src/util/DeviceListHelper.cpp b/src/util/DeviceListHelper.cpp
index c1eea045..8aa30cee 100644
--- a/src/util/DeviceListHelper.cpp
+++ b/src/util/DeviceListHelper.cpp
@@ -88,7 +88,6 @@ InputDevice::InputDevice(GdkDevice* device)
  : name(gdk_device_get_name(device))
  , source(gdk_device_get_source(device))
 {
-
 }
 
 InputDevice::InputDevice(string name, GdkInputSource source)