a set of GNOME overlay fixes, the list is not complete. Further changes required.