bug fixes
bugfix for spec.py