Synchronization bug has been fixed, though it wasn't a synchronization
bug but an error with references.