Fix design docs.