Tiny clean-up