fix cast syntax