Silenced unused warning, corrected type error