Fixes #5875: It should not be possible to delete system directives