Tidy up the listing of the unzipping algorithm.