Update WorkShopSpec.md

Updated spec