Remove unused dev module; fix bug in used dev module.