Small cleanup
Suggestion from 
philipn on Oct. 26, 2020, 5:35 p.m.
No suggestion description given.
Changes in this suggestion:
philipn authored on Oct. 26, 2020, 5:35 p.m. Suggestion from
philipn authored on Oct. 26, 2020, 5:35 p.m.