7961: watch for rounding corner case

fixes #7961