Now we produce an error message that explains why this operation isn't
permitted by the framework.

Fixes #1925