Some tiny cleanup.