Baidu’s $1 bln buyback is too little or too much