Fix a bug with 'in'

We don't want to end [abstract ...] after empty terms.