No need to cast this here.