Fix typo (the debugger might not be TotalView).