very minor fixes/changes