we can remove the TODO and cast now