BUG: example of DEVHOST_NUM alteration should use quotes