some tiny cleanup