Correcting type signature