I would remove this comment as it does not add anything interesting.