small fix to qualify shadowed symbols