- Fix exception caused when using the lava enable debug option (Fixes #697).