Slight adjustment to unzip file in docs