Fix a bug in spec code