Shouldn't have copied these, really, but it's done now.