Small fix to NaoDebugger