The source project of this merge request has been removed.
Fix the user message: it is allocated, not used
The "Used" label is defined a few lines above (thanks Paolo Zamponi for spotting this).
While this is a message break, it is at the same time an important bugfix.