minor updates from earlier