just a small clean-up