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