coresolvertest: fixed a dumb bug