Fixed some stage 0 fact names