fix a minor bug on num devs