Fixed tiny type bug