Minor stylistic change

This commit is contained in:
Ivan Nieto Vivanco 2022-05-28 08:11:13 -05:00
parent 72192257f2
commit 37f9cca5ec