Patch sent to GNOME-Calculator