Fix: a minor bug in the initialization of searching paths.