diff --git a/index.html b/index.html
index 286fddf..2717e43 100644
--- a/index.html
+++ b/index.html
@@ -22,7 +22,7 @@
Software
Publications
Miscs
- Thanks!
+ Thanks!
Contact
@@ -130,8 +130,7 @@
Software Engineering; Formal Methods; Programming Languages; Automated Reasoning; Program Analysis; Program Verification; Dynamic and Static Analysis; SMT/SAT Solving
@@ -280,7 +274,6 @@