Minor fixes in karchive.inc