Fixing some last holdouts from the eressea->core rename.