fix coding style

Authored by cgilles on Jan 18 2020, 3:33 PM.