Fixes #3348: missing header for ModificationService