A change in the Weibull-likelihood (from version 19.05.17)