Yet another tiny cleanup.