Make AlCutter happy.