Minor grammatical change
Minor change per Jörn's comments.