This cast isn't needed.