Further use of symcontents, which I forgot to commit last week.