fix postcondition for kget notfound