I also have this problem, however to overcome it (although not a perfect solution) is to open terminal and use the "sudo gnome-format" command, this then works.
I also have this problem, however to overcome it (although not a perfect solution) is to open terminal and use the "sudo gnome-format" command, this then works.