Minor cleanup #1242

Closed Voulk closed 2 months ago