Hardcoded cast
I don't know how this came here