Update for casting syntax