We don't need it, but it stops the forcing of a newline at this point, as @cpelley pointed out recently somewhere.