minor alignment with respect to https://github.com/globaleaks/GLBackend/commit/501a8544e75a5f27cbb624e4ea1b5b9a211b0191