Fix misnumbered files