fixed the Eventually spec