Actually made the disk formatting work this time