Fix bug involving pathnames