Fix a couple of bad specs