Fixed bug that did not take into account the order of the identifier's
definition.