[GHC] #9616: Incorrect numbers from HpcMarkup.markup_plugin