Tiny cleanup.