Code

Merge branch 'jc/fix-diff-files-unmerged' into maint