Cast to proper types here