minor bug fix to path name handling