Tiny cleanup and a comment