SPECIFICATION heading and minor fixes to Processor