Index: /trunk/src/VBox/Main/idl/VirtualBox.xidl
===================================================================
--- /trunk/src/VBox/Main/idl/VirtualBox.xidl	(revision 38916)
+++ /trunk/src/VBox/Main/idl/VirtualBox.xidl	(revision 38917)
@@ -3760,5 +3760,5 @@
         reason and the changes you made to this machine will not be saved.
 
-        Starting with VirtualBox 4.0, a “.vbox” extension of the settings
+        Starting with VirtualBox 4.0, a ".vbox" extension of the settings
         file is recommended, but not enforced. (Previous versions always
         used a generic ".xml" extension.)