[BUG] The `.` at the end of a sentence should not have an hover annotation

[cpitclaudel]

Describe the Bug

In the following input, should the . really say Set when hovered? It seems that the period at the end of a sentence inherits the hover of the preceding character:

Definition a: Type := nat * nat.

Adding a space fixes the issue:

Definition a: Type := nat * nat .