very minor updates