Fix warning about type error