minor fix to implementation of https://github.com/globaleaks/GlobaLeaks/issues/316