One more cast I missed in the previous commit.