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.