small spec changes