Small fixes, including fixing null case of name_here() and core-bfs test case.