tiny cleanup, no functional change