open question: should we delete them ? I'd say we could keep them... there is indeed no need to remove them, the caller might need them.