Minor changes related to the jquery-tipsy usage