Drop some unused vars from spec.
Merge pull request #309 from vipulnsward/drop-vars

Drop some unused vars from spec.