Minor mods to the version from akatz