• Fix a bug that caused View Source to crash.