minor fix to non-intersection