Cast all the things properly