Fixed a test in test_core