Summary of changes: 9822669... - resolves: #948695 fixed double free (*) 43051dd... - fixed certain man pages to match options with --help and (*) (*) This commit already existed in another branch; no separate mail sent