Comments are added and refined further.