Caught minor infelicities in specHelper