Bug: highlighting callees misaligned.