casting should really be working now