Add Several Minor Changes to Specs