BUG: Superfluous variable in textual definition of ‘first instant of’

[gregfowlerphd]

Describe the bug

The definition reads:

t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t

Take a look at the second conjunct. The second instance of t’ there (after 'region') seems to be a typo.

Expected behavior

The relevant instance of t' should be deleted.