Fix bug when extending an explicitly-qualified module closure to a goal