some small corrections.