another tiny cleanup