Left it just for better readability, but technically we don't need it. Do you think it's better to remove it?