Minor style update for an Issue #377