bug fix in winding number