Minor documentation improvements
Fixed Clang warning in DebugSystem::tick()