lint fixes for gnomedesktop