fix contrib/dev mixup
Merge pull request #8 from ralph/master

fix contrib/dev mixup