No opinion. If you keep it, please add a comment that explains it's not strictly needed.