fix #60: stricter idnumber property regexp