Some small changes to correct the prefebs-error