You're right, of course. I made this change and everything still works.