Updates to design docs