fix contrib/dev mixup