Alpha-convert to avoid name shadowing warning