Additional cleanup and formatting related to the previous commit.

This commit is contained in:
Ivan Davidov 2016-09-05 01:45:58 +03:00
parent 2ff3e5aab5
commit d121608856