From Roger: Fix for 1a06187071e966b36a141a679518c6d7d1c8e4f0. Terms must be within brackets or else they indicate ring closures.