Fixed the Krawczyk division by thin zero error