Correcting type hinting