fix trivial bug in tooltip