Better error reporting for missing merged documentations (issue #12)