StragaSevera
Я там выше дополнил.

Суть просто в чем, нет смысла подобное править. Оно абсолютно ни на что не влияет.

С другой стороны, подобные комментарии должны расширять горизонт автора, но может оно им и не надо.