Minor bug fix in word instance equality.
Renamed a few timer to have better names.