(bug) fixed bug in test_spec_sections