Add more details to the spec