[vm] Fixed typos in DESIGNDOC