fix weird type