Minor correction for renamed type