just a tiny cleanup