typo in warning message

Just noticed a small typo in the `\underbracket` redefinition warning.