Re-name links to numbered elements

Do we need the square brackets ([ ])?