Remove dead code from spec