recently discovered (for rare edge cases), see https://github.com/PrincetonUniversity/athena/pull/620