You can actually remove these casts! :)