Passing now (probably from recent symbol fixes)