Fix typos in May15.html document