Minor edits to tech.html