add file to zip ; small fixes in docs