Tiny bit of clean-up