Tiny clean-up.