Fixed. Not sure why the diff isn’t marked as outdated, though.