Fix result of integration-tests.sh

Authored by johanneszarl on Jan 19 2020, 6:49 PM.