Update specification-0.1.md