minor fix due to synchronization issues