the current code handles the case of recursive aborts incorrectly, while the existing comment is very precise :)
