Revisinos to external writeup.