Address PR feedback

This commit is contained in:
gdkchan 2018-10-22 15:43:01 -03:00
commit 1d78e09e74