Yes, correct. Comment fixed.