Formatting a floppy disk to 800k