Fix bug in GTK+3 logic introduced by previous merge

During merging of conflicting versions of this file, I erroneously
deleted several lines in the GUI reporting section. This is repaired
in this commit.