small bug in solve_naked_single()