Small change to spec.txt and code