deleted obsolete cast