Work around built-in shadowing not taken into account in 5f71be3

Work around built-in shadowing not taken into account in 5f71be39a5b9bebe32b87c868416abe0fc548211