Small bug fix in file resolver