Added a missing type cast.