numbering in auto_ref