This comment is incorrect, and unnecessary (the code is readable enough)