Fix to new ledeberg header