re-jig the formats package to be under the instructions package