minor updates;