fix bad specs