Refixed numbering in bibenum