DesignReq.md: small changes