Before revision: Frederick eventually settled Costa Rica.
After revision: inFrederick eventually settled Costa Rica.