fix the inherited annotations for cases where there's only the short version available