need to copy this here, because the optree takes ownership of it