Costmetic change from review of last PR

This commit is contained in:
Gregory Nutt 2017-06-20 13:33:14 -06:00
parent 1ee03d7500
commit 5de74441a6