just some tiny cleanup