Hm, something went wrong here. Thanks for catching that. This file shouldn't have been changed. I will fix that.