remove our own (poor man's) implementaiton of a tooltip, use jquery-tipsy plugin instead