minor fix for displaying search_depth.