Bug fix when resolving path constraints