Removed double casting