fix rounding error in border polygon creation