@@ -315,11 +315,11 @@
 - (void)setDouble: (double)double_
 	   forKey: (OFString*)key
 {
 	void *pool = objc_autoreleasePoolPush();
 
-	[self setString: [OFString stringWithFormat: @"%lg", double_]
+	[self setString: [OFString stringWithFormat: @"%g", double_]
 		 forKey: key];
 
 	objc_autoreleasePoolPop(pool);
 }