minor change to tips.js