Workaround for test that fails only in Travis-CI