minor: fix typos and terminology

This commit is contained in:
Ilya Chernikov
2016-09-06 14:39:16 +02:00
parent ba4fab56a0
commit 0b68f313ab
4 changed files with 11 additions and 10 deletions