Cosmetic changes (variable naming).

Authored by johanneszarl on Sep 17 2019, 8:53 PM.