The problem went away when we updated from rc26 to rc27, but then it happened again the next day and for different synonyms.