diff --git a/README.md b/README.md index dae078f..61d08c8 100644 --- a/README.md +++ b/README.md @@ -61,5 +61,5 @@ To model check the protocols, you need to download and install the TLA+ Toolbox This work is freely distributed under the [Apache 2.0 License](https://www.apache.org/licenses/LICENSE-2.0 "Apache 2.0"). ### Contact - Antonios Katsarakis: [`antonis.io`](http://antonis.io/ "Personal webpage") | [`antoniskatsarakis@yahoo.com`](mailto:antoniskatsarakis@yahoo.com?subject=[GitHub]%20Zeus%20Specification "Email") + Antonios Katsarakis: `antonis.io` | [`antoniskatsarakis@yahoo.com`](mailto:antoniskatsarakis@yahoo.com?subject=[GitHub]%20Zeus%20Specification "Email")