update after paper is available online