revise README etc.