Please merge this simple patch. Thanks.
@andreldm @ochosi Just a note: http://gitlab.xfce.org has been somewhat slower than normal in the last couple of days.