Correct documentation of return value of dbg:{stop,stop_clear} functions