Add coverage of Specifications
Remove dangling debug statement
Refactor Warning