[mtVessel]

It's a slightly archaic usage, but it's correct:

repair [1]

verb

repaired; repairing; repairs

intransitive verb

1a: to betake oneself : go

    repaired to the judge's chambers

1b: to come together : rally

[1] https://www.merriam-webster.com/dictionary/repair