a tiny cleanup