Some explanation added.