minor fix needed for https://github.com/globaleaks/GlobaLeaks/issues/951#issuecomment-56198587