Workaround for double cast failure.