bug fix in ext-mgmt that made kernel module crash, misc small edits