some minor fixes on sigir-tips.html