Comment moved in codesearch.py to be more clear