Little typing fix