Minor style changes

In line 513 I've changed the preposition and inserted the definite article.