Tiny cleanup after previous commit