casting in the proper place