we can remove the cast now