updated comments to help with use of the files in verification