fixed small bugs in spec_simple.py