fix mistaken comment