Fix <title> of index.html to be K-10 rather than K-9.