Fix test (default core cannot be assumed any more)