Synchronizing is not necessary here, as this part of the code is not multithreaded