doctest fixes; still problems for gluesemantics