bug fix on storing is_knot