minor fix in order to address https://github.com/globaleaks/GlobaLeaks/issues/828