Fixing gladeui-sharp