clarify "path lying over" and fibrations, close #565
Merge pull request #568 from mikeshulman/lieover

clarify "path lying over" and fibrations, close #565