Bug fix in reidemeister reduction