A tiny cleanup