minor fixes for: https://github.com/globaleaks/GlobaLeaks/issues/390 ...