minor fixes

more nonessential fixes