- (minor) added id num print on stderr