You're right, this isn't needed.