This cast isn't necessary.

I realize I added some further up the file myself, feel free to remove those too if you fancy, otherwise I'll look after them later…