Regenerate with newest rest-gen (not a bugfix)