Documentation: file renamed. Small header added.