Issue #15: spec name corrections