gnomedesktop state: minor style fix