What's with this commented out `cast` here?