small cleanup...