atomspace: more assorted cleanup
atomspace: misc cleanup
oops missed a spot.
atomspace: more assorted cleanup.