Amendment to previous commit https://github.com/globaleaks/GLBackend/commit/f6388c597304b3f2b8534b1fc9e8633c48be1457