(Backends) Fix bug in the CastAdder.