fixed weird characters in tips.js