Thanks for the fix. Looks like I made a stray edit unintentionally while searching for the original problematic line. I should know better than to try to save a few minutes by editing right on GitHub and not taking a closer look at the changes I'm about to commit. And then going to bed without waiting for the update to complete.
An update is in progress now.