Another tiny cleanup.