[INTERNAL] fix for commit 9b5f19e33121b50cd7f59f68da8f3489e8ca7b5c

Powered by DeMorgan !

Change-Id: I621a9c866f0582a2bf6906676464ac73818187f3
Reviewed-on: http://saros-build.imp.fu-berlin.de/gerrit/1978
Tested-by: Jenkins CI
Reviewed-by: Stefan Rossbach <srossbach@arcor.de>