Fixes #4393: correct the default disclamer message