Fix for repeated global annotation as reported in issue #377