This cast is no longer necessary.