Fix issue #7: search a single file