Fixed formatting problem in 'bigfiles.1'