Fix bug 1293 : numbering failed