Fixes #4219: change aspect of directives not used by any rule