[REUSE] Addressing some papercuts in the specification