Inherited definition not visible in the sync section, fixes #375