But this change definitely looks correct, good catch.

-[Unknown]