This is autogenerated anyway, but why not?